|
The Meta-IV (pronounced like "metaphor") was an early version of the specification language of the Vienna Development Method formal method for the development of computer-based systems. ==History== One of the first occurrences of Meta-IV in print appears to be "Programming in the Meta-language: A Tutorial".〔Bjørner&Jones 1978, p24.〕 Dines Bjørner used it in the very beginning of his tutorial as a footnote
The spirit of the Meta-IV specification language is well captured by the following passage〔Bjørner&Jones 1978, p33〕
VDM is a Method. The Meta-IV was the Specification language that accompanied the method, and the VDM-SL is the current standardized form of that language. Since the VDM-SL has become standardized, then one may use Meta-IV to denote the three specific Schools of the VDM〔http://www.vdmportal.org/twiki/pub/Main/WebHome/bjorner-vdm-ipsj-20oct06.pdf〕 which existed (and to some extent still do) from the 1970s onwards: * the Danish School — founded by (Dines Bjørner ) * the English School — founded by (Cliff Jones ) * the Irish School〔(Micheal Mac an Airchinnigh - ACM author profile page )〕 — founded by (Mícheál Mac an Airchinnigh ) A brief account of these different Schools is given in the text "Mathematical Approaches to Software Quality".〔O'Regan 2006〕 A comprehensive VDM Bibliography〔Gorm Larsen, Peter〕 is also available. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Meta-IV (specification language)」の詳細全文を読む スポンサード リンク
|